Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence

Real-time systems such as aeronautic systems, medical systems, and nuclear power plant systems are generally operated in a standalone mode. In the home network and ubiquitous computing systems, integrated services related with several embedded systems are focused, which is called distributed embedded systems. Safety issues of distributed embedded systems are very important since they are closely related to our living. In this research, distributed embedded systems and its safety properties are described by Labeled Transition Systems (LTS). For efficiently checking safety issues, we enhance the existing compositional safety analysis technique [10] using LTS equivalence concept. Key-Words: Safety analysis, embedded systems, compositional analysis, LTS equivalence